What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common C ORRECTED 12 AUG 2010

Source URL: www.cs.bham.ac.uk

• Quantification
• Higher-order functions
• Predicate logic
• Monad
• Fold
• Function
• FO
• Continuous function
• Combinatory logic
• Mathematics
• Mathematical logic
• Logic